A Logical Architecture of a Normative System
نویسندگان
چکیده
Logical architectures combine several logics into a more complex logical system. In this paper we study a logical architecture using input/output operations corresponding to the functionality of logical components. We illustrate how the architectural approach can be used to develop a logic of a normative system based on logics of counts-as conditionals, institutional constraints, obligations and permissions. In this example we adapt for counts-as conditionals and institutional constraints a proposal of Jones and Sergot, and for obligations and permissions we adapt the input/output logic framework of Makinson and van der Torre. We use our architecture to study logical relations among counts-as conditionals, institutional constraints, obligations and permissions. We show that in our logical architecture the combined system of counts-as conditionals and institutional constraints reduces to the logic of institutional constraints, which again reduces to an expression in the underlying base logic. Counts-as conditionals and institutional constraints are defined as a pre-processing step for the regulative norms. Permissions are defined as exceptions to obligations and their interaction is characterized.
منابع مشابه
The Logic of Normative Systems
Logical architectures combine several logics into a more complex logical system. In this paper we study logical architectures using input/output operations corresponding to the functionality of logical components. We propose a logic of normative systems, based on an architecture of counts-as conditionals, institutional constraints, obligations and permissions. For counts-as conditionals and ins...
متن کاملNavigating Between Stealth Advocacy and Unconscious Dogmatism: The Challenge of Researching the Norms, Politics and Power of Global Health
Global health research is essentially a normative undertaking: we use it to propose policies that ought to be implemented. To arrive at a normative conclusion in a logical way requires at least one normative premise, one that cannot be derived from empirical evidence alone. But there is no widely accepted normative premise for global health, and the actors with the power to set policies may use...
متن کاملAn essay on msic-systems
A theory of many-sorted implicative conceptual systems (abbreviated msic-systems) is outlined. Examples of msic-systems include legal systems, normative systems, systems of rules and instructions, and systems expressing policies and various kinds of scienti c theories. In computer science, msic-systems can be used in, for instance, legal information systems, decision support systems, and multi-...
متن کاملWhat is the philosophy of Islamic architecture (analysis of discipline's philosophy in architecture based on observation theory)
Lack of attention to the philosophy of architecture as an intermediate science between general philosophy and architecture science has caused many researchers to link their research to philosophy without methodology. They introduce their research as the philosophy of Islamic architecture; While the philosophy of Islamic architecture is a kind of philosophy. The general philosophy merely provide...
متن کاملTheoretical principles of ethical architecture in the holy Quran: On the basis of Aristotelian logic in Islamic school of thought
This research is a Qur'anic review that examines the effects of ethics on architecture from the Holy Qur'an’s point of view with the goal of introducing logical theoretical principals of ethical architecture. In order to reach the research goal, this research conducts the Induction, deduction and reverse extraction of research’s resulted theoretical concepts based on Aristotle's formal logic. T...
متن کامل